Giuseppe Conte, Ik zal blijven schrijven over de zee

Giuseppe De Giacomo , Maurizio Lenzerini

In this paper we demonstrate that two-way alternating automata on infinite trees (2ATAs) provide a very elegant and effective formal tool for addressing reasoning in expressive DLs. Indeed, the encoding of a DL concept (to be checked for satisfiability) into an automaton (to be checked for non-emptiness) is: (i) intuitive, indeed, comparable to tableaux rules; (ii) modular, since each construct...

ALESSANDRO DE LUCA and GIUSEPPE ORIOLO

We consider the problemof reconfiguringthe joints of a redundant robot driven only through end-effector velocity commands. Dependingon the chosen kinematic inversion scheme, this system behavior is subject to differential constraints that may be integrableor not. An analogy is established with non-holonomic systems, allowing the use of existing techniques to designcartesianinputs that bring the...

Ik 2009

KI 2009 is the 32nd edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI. The technical programme of KI 2009 will comprise paper and poster presentations and a variety of workshops and tutorials. We invite proposals for workshops to be held at the beginning of the conference. Eligible topics inc...

Ik 2009

This year’s IK attracted 179 participants to its traditional location at the HeinrichLübke Haus in Günne at Lake Möhne. We were a good mix of researchers from Bachelor to Professor level, coming from more than ten countries, with diverse backgrounds from cognitive science, neuroscience, computer science, mathematics, psychology, music and philosophy. We had in common an open mindset and the des...

Giuseppe Vergaro, MD